convergence of formal power series